1

On justifying one’s acceptance of divine command theory

Year:
2017
Language:
english
File:
PDF, 440 KB
english, 2017
2

Theorem proving with abstraction

Year:
1981
Language:
english
File:
PDF, 2.84 MB
english, 1981
4

A Bernoulli's Law Lab in a Bottle

Year:
2005
Language:
english
File:
PDF, 470 KB
english, 2005
6

Refinements to depth-first iterative-deepening search in automatic theorem proving

Year:
1989
Language:
english
File:
PDF, 639 KB
english, 1989
7

On the mechanical derivation of loop invariants

Year:
1993
Language:
english
File:
PDF, 2.23 MB
english, 1993
10

The origin of Rural New-Yorker No. 2

Year:
1987
Language:
english
File:
PDF, 328 KB
english, 1987
15

Semantically-Guided Goal-Sensitive Reasoning: Model Representation

Year:
2016
Language:
english
File:
PDF, 468 KB
english, 2016
16

Managing the Difficult Conversation

Year:
2008
Language:
english
File:
PDF, 67 KB
english, 2008
19

A simplified problem reduction format

Year:
1982
Language:
english
File:
PDF, 1.64 MB
english, 1982
20

A semantic backward chaining proof system

Year:
1992
Language:
english
File:
PDF, 967 KB
english, 1992
21

Problem solving by searching for models with a theorem prover

Year:
1994
Language:
english
File:
PDF, 1.39 MB
english, 1994
22

A heuristic triangulation algorithm

Year:
1987
Language:
english
File:
PDF, 1.61 MB
english, 1987
23

A relevance restriction strategy for automated deduction

Year:
2003
Language:
english
File:
PDF, 295 KB
english, 2003
35

Low endogenous neural noise in autism

Year:
2015
Language:
english
File:
PDF, 750 KB
english, 2015
36

Automated theorem proving

Year:
2014
Language:
english
File:
PDF, 629 KB
english, 2014
37

Response to commentaries on 'Low endogenous neural noise in autism'

Year:
2015
Language:
english
File:
PDF, 60 KB
english, 2015
45

355 Individual risk management strategies in basketball and hockey

Year:
2005
Language:
english
File:
PDF, 88 KB
english, 2005
47

Leibniz's Argument for Primitive Concepts

Year:
2003
Language:
english
File:
PDF, 254 KB
english, 2003
50

Complete problems in the first-order predicate calculus

Year:
1984
Language:
english
File:
PDF, 2.02 MB
english, 1984